A Logic for Conditional Possibility
نویسنده
چکیده
In this paper, we present a logical framework for integrating the quantitative and qualitative approaches to uncertainty management based on possibility theory. The semantics of the logic is based on the Dempster’s rule of conditioning for possibility theory. It is then shown that classical modal logic, conditional logic, possibilistic logic, quantitative modal logic and qualitative possibilistic logic are all sublogics of the present logical framework.
منابع مشابه
A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملPossibilistic Logic, Preferential Models, Non-monotonicity and Related Issues
The links between Shoham's preference logic and possibilistic logic, a numerical logic of uncertainty based on Zadeh's possibility measures, are investigated. Starting from a fuzzy set of preferential interpretations of a propositional theory, we prove that the notion of preferential entailment is closely related to a previously introduced notion of conditional possibility. Conditional possibil...
متن کاملModal Logics for Qualitative Possibility and Beliefs
Possibilistic logic has been proposed as a nu merical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explana tion of the relationship between possibility and modal logics. We present two modal logics that can be used to represent and reason with qual itative statements of possibility and necessity. Within thi...
متن کاملNonmonotonic Reasoning, Conditional Objects and Possibility Theory
This short paper relates the conditional object-based and possibility theorybased approaches for reasoning with conditional statements pervaded with exceptions, to other methods in nonmonotonic reasoning which have been independently proposed: namely, Lehmann's preferential and rational closure entailments which obey normative postulates, the infinitesimal probability approach, and the conditio...
متن کامل